Model bicategories and their homotopy bicategories

نویسندگان

چکیده

We give the definitions of model bicategory and q-homotopy, which are natural generalizations notions category homotopy to context bicategories. For any C, denote by Cfc full sub-bicategory fibrant-cofibrant objects. prove that 2-dimensional localization C at weak equivalences can be computed as a Ho(C) whose objects arrows those 2-cells classes q-homotopies up an equivalence relation. When considered for category, coincide with homotopies Quillen. The pseudofunctor C⟶qHo(C) yields is constructed using notion replacement in this context. include appendix general result independent interest on transfer structure lax functors, we apply obtain replacement.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Basic Bicategories

A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.

متن کامل

Introduction to linear bicategories

Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...

متن کامل

Monads and Interpolads in Bicategories

Given a bicategory, Y , with stable local coequalizers, we construct a bicategory of monads Y -mnd by using lax functors from the generic 0-cell, 1-cell and 2-cell, respectively, into Y . Any lax functor into Y factors through Y -mnd and the 1-cells turn out to be the familiar bimodules. The locally ordered bicategory rel and its bicategory of monads both fail to be Cauchy-complete, but have a ...

متن کامل

Bicategories of Concurrent Games

This paper summarises recent results on bicategories of concurrent games and strategies. Nondeterministic concurrent strategies, those nondeterministic plays of a game left essentially unchanged by composition with copy-cat strategies, have recently been characterized as certain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterminist...

متن کامل

Framed Bicategories and Monoidal Fibrations

In some bicategories, the 1-cells are ‘morphisms’ between the 0cells, such as functors between categories, but in others they are ‘objects’ over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many bicategorical notions do not work well in these cases, because the ‘morphisms between 0-cells’, such as ring homomorphisms, are missing. We can include them by using a p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Mathematics

سال: 2022

ISSN: ['1857-8365', '1857-8438']

DOI: https://doi.org/10.1016/j.aim.2022.108455